logical predicate

逻辑谓语